1

The Relative Efficiency of Propositional Proof Systems

Year:
1979
Language:
english
File:
PDF, 367 KB
english, 1979